#ifndef BUFFER_UTIL_H
#define BUFFER_UTIL_H

INLINE buffer_t *null_buffer(void);
int write_buffer(buffer_t *, int, char *, int);
char *read_buffer(buffer_t *, int, int, int *);

#endif

